"A modular multi-modal specification of real-timed, end-to-end ..."

Simon Kramer, Peter Y. A. Ryan (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics