Mauno Rönkkö Xuandong Li Linear Hybrid Action Systems. 159- 2001 8 Nord. J. Comput. 1 db/journals/njc/njc8.html#RonkkoL01