Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard. Reconciling System Requirements and Runtime Behavior. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 50-59, IEEE Computer Society, 1998. [doi]
Abstract is missing.