Model based software engineering - Bruno, Giorgio (Chapman & Hall, 1995)