Benjamin Aminof Axel Legay Aniello Murano Olivier Serre µ-calculus Pushdown Module Checking with Imperfect State Information. 333-348 2008 IFIP TCS http://dx.doi.org/10.1007/978-0-387-09680-3_23 conf/ifipTCS/2008 db/conf/ifipTCS/ifipTCS2008.html#AminofLMS08