Sengupta, Bhattacharya, 2006. Formalization of UML use case diagram-a Z notation based approach, in: . IEEE.. https://doi.org/10.1109/icoci.2006.5276507