Corina Popescu, Jose L. Martinez Lastra. Modeling logical and temporal conditions to formally validate factory automation web services. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece. pages 732-735, IEEE, 2007. [doi]
Abstract is missing.