Retrospective exploration of safety properties in real-time concurrent systems - Prywes, N.; Rehmet, P.; Sokolsky, O.; Lee, I. (16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings, Digital Avionics Systems Conference, 1997. 16th DASC., AIAA/IEEE, Digital avionics systems, 1997)