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