Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.”10.1109/9.664156 __IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .

Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?”10.1006/jcss.1998.1581__Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.

Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.”10.1007/BFb0055640__Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.

Alur, Rajeev, et al. “Symbolic Exploration of Transition Hierarchies.”10.1007/BFb0054181__Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1384, Springer, 1998, pp. 330–44, doi:10.1007/BFb0054181.

Alur, Rajeev, et al. “Alternating Refinement Relations.”10.1007/BFb0055622__Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055622.

Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.”10.1007/BFb0028774__Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.

De Alfaro, Luca, et al. “Concurrent Reachability Games.”10.1109/SFCS.1998.743507Â  __10.1109/SFCS.1998.743507Â  __Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507Â  .

de Bono, Mario, and Cornelia I. Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.”10.1016/s0092-8674(00)81609-8__Cell, vol. 94, no. 5, Elsevier, 1998, pp. 679–89, doi:10.1016/s0092-8674(00)81609-8.