The following publications are possibly variants of this publication:
- Optimized Static Parameter Assignment for Semiformal Software VerificationAlexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin. mbmv 2012: 25-35
- 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
- Semiformal verification of temporal properties in automotive hardware dependent softwareDjones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer. date 2009: 1214-1217 [doi]