Ndouna, A., 		Frappier, M., & 		Mallet, F.
2025 dez  3.  A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :