@article(bendersky2014dynalloy,
 author       = {Pablo Bendersky and Juan~Pablo Galeotti and Diego Garbervetsky},
 year         = {2014},
 title        = {The DynAlloy Visualizer},
 journal      = {arXiv preprint arXiv:1401.0973},
 doi          = {10.4204/EPTCS.139.6},
)
@inproceedings(6883044,
 author       = {N.~Burlutskiy and M.~Petridis and A.~Fish and N.~Ali},
 year         = {2014},
 title        = {Enabling the visualization for reasoning about temporal data},
 booktitle    = {2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)},
 pages        = {179--180},
 doi          = {10.1109/VLHCC.2014.6883044},
)
@inproceedings(cunha2018ertms,
 author       = {Alcino Cunha and Nuno Macedo},
 year         = {2018},
 title        = {Validating the {Hybrid ERTMS/ETCS Level 3} Concept with {Electrum}},
 booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)},
 series       = {LNCS},
 volume       = {10817},
 publisher    = {{Springer}},
 pages        = {307--321},
 doi          = {10.1007/978-3-319-91271-4_21},
)
@book(frain2012responsive,
 author       = {Ben Frain},
 year         = {2012},
 title        = {Responsive web design with HTML5 and CSS3},
 publisher    = {Packt Publishing Ltd},
)
@inproceedings(gammaitoni2014domain,
 author       = {Lo{\"\i}c Gammaitoni and Pierre Kelsen},
 year         = {2014},
 title        = {Domain-specific visualization of alloy instances},
 booktitle    = {International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z},
 organization = {Springer},
 pages        = {324--327},
 doi          = {10.1007/978-3-662-43652-3_33},
)
@inproceedings(heer2005prefuse,
 author       = {Jeffrey Heer and Stuart~K Card and James~A Landay},
 year         = {2005},
 title        = {Prefuse: a toolkit for interactive information visualization},
 booktitle    = {Proceedings of the SIGCHI conference on Human factors in computing systems},
 organization = {ACM},
 pages        = {421--430},
 doi          = {10.1145/1054972.1055031},
)
@article(herman2000graph,
 author       = {Ivan Herman and Melan{\c{c}}on, Guy and M~Scott Marshall},
 year         = {2000},
 title        = {Graph visualization and navigation in information visualization: A survey},
 journal      = {IEEE Transactions on visualization and computer graphics},
 volume       = {6},
 number       = {1},
 pages        = {24--43},
 doi          = {10.1109/2945.841119},
)
@book(jackson2012software,
 author       = {Daniel Jackson},
 year         = {2012},
 title        = {Software Abstractions: logic, language, and analysis},
 publisher    = {MIT press},
)
@misc(kellerman2004graphical,
 author       = {Terry~K Kellerman and Philip~S Milne},
 year         = {2004},
 title        = {Graphical user interface layout manager},
 note         = {US Patent 6,750,887},
)
@article(kobourov2012spring,
 author       = {Stephen~G Kobourov},
 year         = {2012},
 title        = {Spring embedders and force directed graph drawing algorithms},
 journal      = {arXiv preprint arXiv:1201.3011},
)
@article(lok2001survey,
 author       = {Simon Lok and Steven Feiner},
 year         = {2001},
 title        = {A survey of automated layout techniques for information presentations},
 journal      = {Proceedings of SmartGraphics},
 volume       = {2001},
 pages        = {61--68},
 doi          = {10.1.1.9.8736},
)
@inproceedings(macedo2016electrum,
 author       = {Nuno Macedo and Julien Brunel and David Chemouil and Alcino Cunha and Denis Kuperberg},
 year         = {2016},
 title        = {Lightweight specification and analysis of dynamic systems with rich configurations},
 booktitle    = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016},
 publisher    = {{ACM}},
 pages        = {373--383},
 doi          = {10.1145/2950290.2950318},
)
@book(mazza2009introduction,
 author       = {Riccardo Mazza},
 year         = {2009},
 title        = {Introduction to information visualization},
 publisher    = {Springer Science \& Business Media},
)
@article(moreira15orcid,
 author       = {Jo{\~ a}o~Mendes Moreira and Alcino Cunha and Nuno Macedo},
 year         = {2015},
 title        = {An {ORCID} based synchronization framework for a national {CRIS} ecosystem},
 journal      = {F1000Research},
 volume       = {4},
 number       = {181},
 doi          = {10.12688/f1000research.6499.1},
)
@(oracle2017,
 author       = {Oracle},
 year         = {2017},
 title        = {A Visual Guide to Layout Managers},
 url          = {https://docs.oracle.com/javase/tutorial/uiswing/layout/visual.html},
)
@article(rayside2007automatic,
 author       = {Derek Rayside and Felix Chang and Greg Dennis and Robert Seater and Daniel Jackson},
 year         = {2007},
 title        = {Automatic visualization of relational logic models},
 journal      = {Electronic Communications of the EASST},
 volume       = {7},
)
@article(4308636,
 author       = {K.~Sugiyama and S.~Tagawa and M.~Toda},
 year         = {1981},
 title        = {Methods for Visual Understanding of Hierarchical System Structures},
 journal      = {IEEE Transactions on Systems, Man, and Cybernetics},
 volume       = {11},
 number       = {2},
 pages        = {109--125},
 doi          = {10.1109/TSMC.1981.4308636},
)
@inproceedings(Thevenin1999PlasticityOU,
 author       = {David Thevenin and Jo{\"e}lle Coutaz},
 year         = {1999},
 title        = {Plasticity of User Interfaces: Framework and Research Agenda},
 booktitle    = {INTERACT},
)
@inproceedings(todi2016sketchplore,
 author       = {Kashyap Todi and Daryl Weir and Antti Oulasvirta},
 year         = {2016},
 title        = {Sketchplore: Sketch and explore with a layout optimiser},
 booktitle    = {Proceedings of the 2016 ACM Conference on Designing Interactive Systems},
 organization = {ACM},
 pages        = {543--555},
 doi          = {10.1145/2851581.2890236},
)
@article(zaman2013improved,
 author       = {Atulan Zaman and Iman Kazerani and Medha Patki and Bhargava Guntoori and Derek Rayside},
 year         = {2013},
 title        = {Improved Visualization of Relational Logic Models},
 journal      = {University of Waterloo, Tech. Rep},
)
@article(Zave:2015:PCA:2738556.2738583,
 author       = {P.~Zave},
 year         = {2015},
 title        = {A Practical Comparison of Alloy and Spin},
 journal      = {Form. Asp. Comput.},
 volume       = {27},
 number       = {2},
 pages        = {239--253},
 doi          = {10.1007/s00165-014-0302-2},
)