Repairing time-determinism in the process algebra for hybrid systems ACPhssrt. - U. Khadim; Pieter J. L. Cuijpers (Theor. Comput. Sci., 2012)