A. Ndouna, M. Frappier, and F. Mallet.
" 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>, Recife/PE, 2025, pp. 19-36.