Alur, R., Fix, L., &; Henzinger, T. A. (1994). A determinizable class of timed automata. In International Conference on Computer Aided Verification (Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer.https://doi.org/10.1007/3-540-58179-0_39 

Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A.,https://doi.org/10.1007/BFb0033565__Yovine, S. (1994). The algorithmic analysis of hybrid systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer.https://doi.org/10.1007/BFb0033565 

Zarkower, D., de Bono, M., Aronoff, R., &; Hodgkin, J. (1994). Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. Wiley.https://doi.org/10.1002/dvg.1020150306