Temporal property patterns for model-based testing from UML/OCL. - Frédéric Dadeau; Elizabeta Fourneret; Abir Bouchelaghem (Softw. Syst. Model., 2019)