Cledou G, Barbosa L.? Submitted.??Modeling Families of Public Licensing Services: A Case Study. FME Workshop on Formal Methods in Software Engineering (FormaliSE).