TY - RPRT TI - Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models AU - David Harel AU - Uwe Aßmann AU - Fabiana Fournier AU - Lior Limonad AU - Assaf Marron AU - Smadar Szekely PY - 2023 UR - https://arxiv.org/abs/2312.16507 ID - 2312.16507 ER -