Verification of Temporal Properties in Embedded Software door Djones Lettnin