TY - RPRT TI - Interface Modeling for Quality and Resource Management AU - Martijn Hendriks AU - Marc Geilen AU - Kees Goossens AU - Rob de Jong AU - Twan Basten PY - 2021 DO - 10.23638/lmcs-17(2:19)2021 UR - https://arxiv.org/abs/2002.08181 ID - 2002.08181 ER -