Marsha Chechik Steve M. Easterbrook Victor Petrovykh Model-Checking over Multi-valued Logics. 72-98 2001 conf/fm/2001 FME http://link.springer.de/link/service/series/0558/bibs/2021/20210072.htm db/conf/fm/fme2001.html#ChechikEP01