Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability. - Eduard Kamburjan; Jonas Stromberg (F-IDE@FM, 2019)

Interactive Integration of Heterogeneous Datasets for Analytical Tasks. - Steven Lamarr Reynolds; Jonas Stromberg; Hendrik Lücke-Tieke; Thorsten May; Jörn Kohlhammer (IV, 2025)