APPEL - AGILA ProPErty and Dependency Description Language. - Christoph Grimm 001; Frank Wawrzik; Alexander Louis-Ferdinand Jung; Konstantin Lübeck; Sebastian Post; Johannes Koch; Oliver Bringmann 001 (MBMV, 2021)

Constructive Model Analysis of SysMLv2 Models by Constraint Propagation. - Axel Ratzke; Sebastian Post; Johannes Koch; Christoph Grimm 001 (SOSE, 2024)