-M. Srivas/A. Camilleri (Eds.): Formal Methods in Computer-Aided Design. Proceedings 1996, Springer-Verlag 1996