Parse error: syntax error, unexpected token "=" in /misc/HomePages/UserHomePages/i57/beckert/pub/avocs2012.pdf on line 1050