Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models.

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

Browse the full TAP paper archive.