Marcello Bonfè, Cesare Fantuzzi, Cristian Secchi. Unified Modeling and Verification of Logic Controllers for Physical Systems. In 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005. pages 8349-8354, IEEE, 2005. [doi]
Abstract is missing.