Csallner, Tillmann, Smaragdakis, 2008. DySy, in: . ACM Press.. https://doi.org/10.1145/1368088.1368127