@INPROCEEDINGS{Agerholm&99, KEY = "Agerholm\&99", AUTHOR = "Sten Agerholm and Wendy Schafer", EDITOR = "John Fitzgerald and Peter Gorm Larsen", TITLE = "{Analyzing SAFER using UML and VDM++}", BOOKTITLE = "VDM in Practice", YEAR = "1999", MONTH = "September", PAGES = "139--141", NOTE = "", ANNOTE = "", COMMENT = "PGL"} %G OVERTURE