Coates, J. C., &; de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. Springer Nature.https://doi.org/10.1038/nature01170 

de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., &; Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. Springer Nature.https://doi.org/10.1038/nature01169 

De Alfaro, L., Henzinger, T. A., &; Stoelinga, M. (2002). Timed interfaces. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 108–122). Grenoble, France: ACM.https://doi.org/10.1007/3-540-45828-X_9 

Chakrabarti, A., De Alfaro, L., Henzinger, T. A., &; Mang, F. (2002). Synchronous and bidirectional component interfaces. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen, Denmark: Springer.https://doi.org/10.1007/3-540-45657-0_34 

Cassez, F., Henzinger, T. A., &; Raskin, J. (2002). A comparison of control problems for timed and hybrid systems. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148). Stanford, CA, USA: Springer.https://doi.org/10.1007/3-540-45873-5_13 

Alur, R., Henzinger, T. A., &; Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM.https://doi.org/10.1145/585265.585270 

Henzinger, T. A., Krishnan, S., Kupferman, O., &; Mang, F. (2002). Synthesis of uninitialized systems. In Proceedings of the 29th International Colloquium on Automata, Languages and Programming (Vol. 2380, pp. 644–656). Malaga, Spain: Springer.https://doi.org/10.1007/3-540-45465-9_55 

Henzinger, T. A., Kupferman, O., &; Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier.https://doi.org/10.1006/inco.2001.3085 

Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziski, M., &; Mang, F. (2002). Interface compatibility checking for software modules. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 428–441). Copenhagen, Denmark: Springer.https://doi.org/10.1007/3-540-45657-0_35 

Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., &; Weimer, W. (2002). Temporal safety proofs for systems code. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 526–538). Copenhagen, Denmark: Springer.https://doi.org/10.1007/3-540-45657-0_45