scholarly article
article by Christian Brenner et al published 2015 in Lecture Notes in Computer Science