Verification of Temporal Properties in Embedded Software by Djones Lettnin