@conference {124, title = {An Animation Tool for Supporting Specification-Based Software Architectures}, booktitle = {The 1995 Monterey Workshop on Increasing the Practical Impact of Formal Methods for Computer Aided Software Development: Specification-Based Architectures}, year = {1995}, month = {09/1995}, publisher = {U.S. Naval Postgraduate School}, organization = {U.S. Naval Postgraduate School}, address = {Monterey, California, USA}, author = {Krzysztof Czarnecki and Zhang, D. and Lano, K.} }