Two examples of verification of multirate timed automata with Kronos | IEEE Conference Publication | IEEE Xplore