ETFA
Loeis, K.; Bani Younis, M.; Frey, G.: Application of Symbolic and Bounded Model Checking to the Verification of Logic Control Systems. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Vol. 1, pp. 247-250, Catania, Italy, Sept. 2005. <DOI: 10.1109/ETFA.2005.1612527>
Greifeneder, J.; Frey, G.: Probabilistic Delay Time Analysis in Networked Automation Systems. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Vol. 1, pp. 1065-1068, Catania, Italy, Sept. 2005. <DOI: 10.1109/ETFA.2005.1612644>