Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. Information and Computation. 1994;111(2):193-244. doi:10.1006/inco.1994.1045
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045

Alur R, Henzinger TA. Finitary fairness. In: Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087 
LibreCat: https://research-explorer.ista.ac.at/record/4586
DOI: 10.1109/LICS.1994.316087 

Alur R, Henzinger TA. Real-time system = discrete system + clock variables. In: Rus T, Rattray C, eds. Theories and Experiences for Real-Time System Development. Vol 2. AMAST Series in Computing. World Scientific Publishing; 1994:1-29. doi:10.1142/9789812831583_0001
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001

Alur R, Henzinger TA. A really temporal logic. Journal of the ACM. 1994;41(1):181-204. doi:10.1145/174644.174651
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Alur R, Courcoubetis C, Henzinger TA. The observational power of clocks. In: 5th International Conference on Concurrency Theory. Vol 836. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1994:162-177. doi:10.1007/BFb0015008
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008

Alur R, Fix L, Henzinger TA. A determinizable class of timed automata. In: International Conference on Computer Aided Verification. Vol 818. Springer; 1994:1-13. doi:10.1007/3-540-58179-0_39
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 1994;15(3):240-250. doi:10.1002/dvg.1020150306
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378