Modulare und kompositionale Verfikation von zustandsendlichen Systemen. - Andreas Scholz 002 (1995)