Simin Nadjm-Tehrani Jan-Erik Strömberg Proving Dynamic Properties in an Aerospace Application. 2-10 1995 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1995.html#Nadjm-TehraniS95