David Coppit, Kevin J. Sullivan. Sound Methods and Effective Tools for Engineering Modeling and Analysis. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA. pages 198-209, IEEE Computer Society, 2003. [doi]
Abstract is missing.