K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel. Hybrid specification of control systems. In 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA. pages 149, IEEE Computer Society, 1995. [doi]
Abstract is missing.