Angelika Mader Modal µ-Calculus, Model Checking and Gauß Elimination. 72-88 1995 conf/tacas/1995 TACAS db/conf/tacas/tacas95.html#Mader95