Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.”10.1007/3-540-58179-0_39__International Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 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, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.”10.1007/BFb0033565__11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Zarkower, David, et al. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.”10.1002/dvg.1020150306__Developmental Genetics, vol. 15, no. 3, Wiley, 1994, pp. 240–50, doi:10.1002/dvg.1020150306.
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378