@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.}
}