Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. In: Vol 1254. Springer; 1997:460-463. doi:10.1007/3-540-63166-6_48
LibreCat: https://research-explorer.ista.ac.at/record/4494
DOI: 10.1007/3-540-63166-6_48

Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: 9th International Conference on Computer Aided Verification. Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
LibreCat: https://research-explorer.ista.ac.at/record/4608
DOI: 10.1007/3-540-63166-6_34