Cerans, Karlis, Jens Chr. Godskesen, og Kim G. Larsen. “Timed Modal Specification —Theory and Tools”. BRICS Report Series 4, no. 11 (januar 11, 1997). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/18802.