1. Han, J.: An approach to software component specification. In: Proceedings of International Workshop on Component Based Software Engineering (1999)
2. Liu, Y., Cunningham, H.C.: Software component specification using design by contract. In: Proceedings of the SouthEast Software Engineering Conference (April 2002)
3. Tarr, P., Ossher, H., Harrison, W., Sutton, S.M.: N-degrees of separation: Multi-dimensional separation of concerns. In: Proc. ICSE, pp. 109–117 (1999)
4. Warmer, J., Kleppe, A.: The Objects Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading (1999)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)