Text this: Formal methods in the scope of the Software and Systems Modeling journal.