Generating interactive documents for domain-specific validation of formal models. - Vu, Fabian; Happe, Christopher; Leuschel, Michael (International Journal on Software Tools for Technology Transfer, 2024)