The following publications are possibly variants of this publication:
- Semiformal Verification of Temporal Properties in Embedded SoftwareDjones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel. mbmv 2007: 19-28
- Verification of Temporal Properties in Automotive Embedded SoftwareDjones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schonknecht, Stephan Reitemeyer. date 2008: 164-169 [doi]
- Hybrid verificatio of temporal properties in hardware dependent softwareDjones Lettnin, Wolfgang Rosenstiel. latw 2011: 1-6 [doi]
- Semiformal Verification of Software-Controlled ConnectionsTomas Grimm, Djones Lettnin, Michael Hübner. isvlsi 2017: 556-561 [doi]