Title: Abstract State Machines 2003 : Advances in Theory and Practice