author = { Lisper, Björn AND Nordlander, Johan AND Quinton, Sophie },

title = { Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Timing Constraints: Theory Meets Practice },

publisher = {Springer Berlin Heidelberg},

isbn = {1611-3349},

isbn = {0302-9743},

year = {2012},

url = { http://slubdd.de/katalog?TN_libero_mab2 }