Almeida, R., 		Nogueira, S., & 		Sampaio, A.
2023 Dec  4.  Sound Test Case Generation for Concurrent Mobile Features. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :