"Models for model's sake: why explicit system models are also an end to ..."

Oliver Niggemann, Joachim Stroop (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics