Cerans, Karlis, Jens Chr. Godskesen, and Kim G. Larsen. “Timed Modal Specification —Theory and Tools”. BRICS Report Series 4, no. 11 (January 11, 1997). Accessed April 26, 2024. https://tidsskrift.dk/brics/article/view/18802.