Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
An event-based architecture definition language
Comments on "A metrics suite for object oriented design
A practical approach to programming with assertions