gsdlab/clafer — pull request #56 by mantkiew (2014-11-18 20:29:04+00:00)
Title: Behavioral

**Work in progress: DO NOT MERGE**