publication venue for Formal Derivation of Functional Architectural Design. 2004 Verification of the WAP Transaction Layer. 2004
