Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., &; Tasiran, S. (1998). Mocha: Modularity in model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 521–525). Vancouver, Canada: Springer.https://doi.org/10.1007/BFb0028774 

De Alfaro, L., Henzinger, T. A., &; Kupferman, O. (1998). Concurrent reachability games. In https://doi.org/10.1109/SFCS.1998.743507Â  __Proceedings 39th Annual Symposium on Foundations of Computer Science (pp. 564–575). Palo Alto, CA, United States of America: IEEE.https://doi.org/10.1109/SFCS.1998.743507Â   

de Bono, M., &; Bargmann, C. I. (1998). Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. Elsevier.https://doi.org/10.1016/s0092-8674(00)81609-8