Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko. On controller and plant modeling for model-based formal verification. 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.