Paolo Bottoni, Andrew Fish. Policy enforcement and verification with Timed Modeling Spider Diagrams. In Caitlin Kelleher, Margaret M. Burnett, Stefan Sauer, editors, 2013 IEEE Symposium on Visual Languages and Human Centric Computing, San Jose, CA, USA, September 15-19, 2013. pages 27-34, IEEE, 2013. [doi]
Abstract is missing.