Jens Oehlerking, Thomas Strathmann. Verification of Systems in Physical Contexts. In Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger, editors, Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology. pages 105-117, Springer, 2016. [doi]
Abstract is missing.