Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) - Laleau, Régine; Méry, Dominique; Nakajima, Shin; Troubitsyna, Elena (Electronic Proceedings in Theoretical Computer Science, 2018)