@misc {IOPORT.70082511,
    author       = {Kim, Soon-Kyeong and Carrington, David A.},
    title        = {An integrated framework with UML and object-Z for developing a precise and understandable specification: the light control case study},
    howpublished = {APSEC, 240-248 (2000).},
    year         = {2000},
    identifier   = {70082511},
}