TY  - RPRT
TI  - Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
AU  - Eduard Kamburjan
AU  - Jonas Stromberg
PY  - 2019
DO  - 10.4204/eptcs.310.8
UR  - https://arxiv.org/abs/1912.10635
ID  - 1912.10635
ER  -