@incollectionSPESXT2016h, Author = {Oehlerking, Jens AND Strathmann, Thomas},Title = {Verification of Systems in Physical Contexts},Year = {2016},Pages = {105-117},Editor = {Pohl, Klaus and Broy, Manfred and Daembkes, Heinrich and Hönninger, Harald},Publisher = {Springer},Booktitle = {Advanced Model-Based Engineering of Embedded Systems},Doi = {10.1007/978-3-319-48003-9_7},Url = {http://dx.doi.org/10.1007/978-3-319-48003-9_7},type = {incollection},note = {One defining characteristic of embedded software systems is the tight interaction with the context of the system, which gives rise to real-time constraints for the software. In this chapter, we focus on one relevant class of software: systems interacting },Abstract = {One defining characteristic of embedded software systems is the tight interaction with the context of the system, which gives rise to real-time constraints for the software. In this chapter, we focus on one relevant class of software: systems interacting with a physical context.} @COMMENTBibtex file generated on