Reconciling System Requirements and Runtime Behavior (1998)

by M Feather, S Fickas, A Van Lamsweerde, C Ponsard
Venue:Proceedings of the 9th International Workshop on Software Specification and Design