From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages | IEEE Conference Publication | IEEE Xplore