псы в рапиде » from archive
havelund.pdf (application/pdf Object) - http://compass.informatik.rwth-aachen.de/ws-slides/havelund.pdf
«Monitoring the Execution of Space Craft Flight Software» ‎- 9000