Formal Methods in Software and Systems Modeling [electronic resource] : Essays