David Hemer Yulin Ding Specifying Software Architectures Using a Formal-Based Approach. 279-288 2008 Australian Software Engineering Conference http://doi.ieeecomputersociety.org/10.1109/ASWEC.2008.9 conf/aswec/2008 db/conf/aswec/aswec2008.html#HemerD08