TY - RPRT TI - Scalability of TTool's AMS extensions: a case study AU - Daniela Genius PY - 2019 UR - https://arxiv.org/abs/1910.06091 ID - 1910.06091 ER -