Olderog. Automatic Verification of Combined Specifications: An Overview. Elsevier BV, 2008, doi:10.1016/j.entcs.2008.03.082.