Flexibility in Modeling Languages and Tools: A Call to Arms.

Eric Van Wyk and Mats Heimdahl,

Proceedings of IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2005), October, 2005.

PDF