Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-021-00373-5 

Henzinger, T. A., Kupferman, O., &; Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1026228213080 

Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., &; Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1008767206905 

Alur, R., &; Henzinger, T. A. (1999). Reactive modules. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1008739929481 

Alur, R., Courcoubetis, C., &; Henzinger, T. A. (1997). Computing accumulated delays in real-time systems. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1008626013578