Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori. Applying a Model Checker to Check Regulatory Compliance of Use Case Models. In Eric S. K. Yu, Johann Eder, Colette Rolland, editors, Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam, The Netherlands, 8-12 June 2009. Volume 453 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]
Abstract is missing.