UvA-DARE ( Digital Academic Repository ) CTL model checking for processing simple