Rafael F. Toledo Joanne M. Atlee Rui Ming Xiong Visualizing Analysis Results for SPL Models - A User Study. 83-95 2024 VISSOFT https://doi.org/10.1109/VISSOFT64034.2024.00018 conf/vissoft/2024 db/conf/vissoft/vissoft2024.html#ToledoAX24 streams/conf/vissoft