Valeriy Vyatkin, Hans-Michael Hanisch. Reuse of components in formal modeling and verification of distributed control systems. In Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2006, Catania, Italy. IEEE, 2005. [doi]
Abstract is missing.