@conference {3569,
	title = {Modeling Families of Public Licensing Services: A Case Study},
	booktitle = {FME Workshop on Formal Methods in Software Engineering (FormaliSE)},
	year = {Submitted},
	address = {Buenos Aires, Argentina},
	attachments = {https://haslab.uminho.pt/sites/default/files/mgc/files/modeling-families-of-public-licensing-services-a-case-study.pdf},
	author = {Cledou, Guillermina and Barbosa, Luis}
}
