Ndouna, Alex, Marc Frappier, and Frédéric Mallet.
" A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD." <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais,
Recife/PE, 2025</em>. SBC, 2025,  
pp.19-36.