Couto R, Ribeiro AN, Campos JC.? 2016.??Validating an Approach to Formalize Use Cases with Ontologies. Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016.. :1?15.