Questions of Synthesis Systems Precision. - Darja Gabriska; Augustin Gese; Lubos Ondriga (ICSS, 2013)