An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.

Soon-Kyeong Kim, David A. Carrington

Browse the full APSEC paper archive.