Rupak Majumdar Jean-François Raskin 1111-1147 2018 Handbook of Model Checking https://doi.org/10.1007/978-3-319-10575-8_31 reference/mc/2018 db/reference/mc/mc2018.html#MajumdarR18