1. Van den Berg, M., Verhoef, M., Wigmans, M.: Formal Specification of an Auctioning System Using VDM++ and UML – an Industrial Usage Report. In: Fitzgerald, J., Larsen, P.G. (eds.) VDM in Practice, pp. 85–93 (1999)
2. Hörl, J., Aichernig, B.K.: Validating Voice Communication Requirements using Lightweight Formal Methods. IEEE Software 13(3), 21–27 (2000)
3. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object–oriented Systems. Springer, Heidelberg (2005)
4. Kurita, T., Oota, T., Nakatsugawa, Y.: Formal Specification of an IC for Cellular Phones. In: Proceedings of Software Symposium 2005, Software Engineering Association of Japan, pp. 73–80 (2005) (in Japanese)
5. Verhoef, M.: On the Use of VDM++ for Specifying Real-time Systems. In: Proc. First Overture Workshop (2005)