Ndouna, A., 		Frappier, M., & 		Mallet, F.
(2025).
 A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 19-36). Porto Alegre: SBC.