@conference {SchBo94,
	title = {A Parallel Design Method for Producing Valid Protocols},
	booktitle = {Proc. of 8th Symposium on Microcomputer and Microprocessor Applications},
	year = {1994},
	month = {oct},
	pages = {689-697},
	author = {Schrettner, L. and M. Bohus}
}
