Ralph-Johan Back Luigia Petre Ivan Porres Continuous Action Systems as a Model for Hybrid Systems. 2-21 2001 8 Nord. J. Comput. 1 db/journals/njc/njc8.html#BackPP01