Ciancarini, P.; Cimato, S.; Mascolo, C.; (1996) Engineering formal requirements: analysis and testing. In: Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering (SEKE). (pp. pp. 385-392). Knowledge Systems Institute