1. Jackson, M.: Problem Frames - analysing and structuring software development problems. Addison-Wesley ACM Press (2001)
2. Hall, J.G., Jackson, M., Laney, R.C., Nuseibeh, B., Rapanotti, L.: Relating Software Requirements and Architectures using Problem Frames. In: Proc. of RE 2002, Essen (September 2002)
3. Lavazza, L., Morasca, S., Morzenti, A.: A Dual Language Approach to the Development of Time-Critical Systems with UML. In: Proc. of TACoS (Int. Workshop on Test and Analysis of Component Based Systems), Barcelona (March 27–28, 2004)
4. OMG, Unified Modeling Language: Superstructure v. 2.0, formal/05-07-04 (August 2005)
5. Lavazza, L.: Rigorous Description of Software Requirements with UML. In: 15th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco (July 2003)