da Silva, B., 		Teixeira, L., & 		Berkenbrock, G.
2023 Dec  6.  Criteria for generating model-based test cases described in PcML. Proceedings of the Regional School of Software Engineering (ERES). [Online] :