Chapter 6 Lightweight Consistency Checking for Agile Model-Based Development in Practice | Publicación