Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni. Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. In Joaquim Filipe, Juan Andrade-Cetto, Jean-Louis Ferrier, editors, ICINCO 2010, Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Funchal, Madeira, Portugal, June 15-18, 2010. pages 45-52, INSTICC Press, 2010.
Abstract is missing.