Cameron Maxwell, Artem Parakhine, John Leaney. Practical Application of Formal Methods for Specification and Analysis of Software Architecture. In 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia. pages 302-311, IEEE Computer Society, 2005. [doi]
Abstract is missing.