@entry{dal-raf-rat-22-aa, author = {{\v{S}} Dalecke and KA Rafique and A Ratzke...}, title = {SysMD: Towards \uc{201c}Inclusive\uc{201d} Systems Engineering}, journal = {2022 IEEE 5th ...,}, year = 2022, url = {{\url{https://ieeexplore.ieee.org/abstract/document/9816856/}}}, quotes = {... The underlying constraint net is a tree network based Affine Arithmetic Decision Diagrams (... The use of Affine Arithmetic Decision Diagrams on all levels of the tree network also allows ...} }