Alex Ndouna, Marc Frappier, and Frédéric Mallet. 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>, dezembro 03, 2025, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 19-36.