1. Fernandez, E.B., France, R.B.: Formal Specification of real-time dependable systems. In: Proceedings of the First IEEE International Conference on the Engineering of Complex Computer Systems (1995); Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, pp. 342–348
2. Levenson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering 20(9) (September1994)
3. Bail, W.G.: Requirements Management for Dependable Software Systems. In: Zelkowitz, M. (ed.) Advances In Computers, vol. 66. Academic Press, London (2006)
4. Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling system requirements and runtime behavior. In: Proceedings of the Ninth International Workshop on Software Specification and Design, pp. 50–59 (1998)
5. van Lamsweerde, A., Darimont, R., Letier, E.: Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering 24(11), 908–926 (1998)