Combining Reflection and Finite State Diagrams for Design Enforcement. - Shaul Simhi; Vered Gafni; Amiram Yehudai (Theory Pract. Object Syst., 1996)