1. Anderson T, de Lemos R, Fitzgerald J S, Saeed A. On Formal Support for Industrial—Scale Requirements Analysis. In: Ravn A P, Rischel H (eds) Proceedings of the Workshop on Theory of Hybrid Systems. Lyngby, Denmark. Springer-Verlag, 1993 (Lecture notes in computer science — to appear)
2. Leveson N G. Software Safety: Why, What and How. ACM Computing Surveys 1986; 18: 125–163
3. Finkelstein A, Kramer J, Nuseibeh B, Finkelstein L, Goedicke, M. Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering 1992; 1: 31–57
4. de Lemos R, Saeed A, Waterworth A. Exception Handling in Real-Time Software from Specification to Design. Proceedings of the 2nd International Workshop on Responsive Computer Systems. Saitama, Japan. October, 1992. pp 108–121
5. Marshall C W. Applied Graph Theory. Wiley—Interscience, 1971