The d-mint project turned model-based testing into an industrial reality to cut the cost of developing high quality, complex software. Demonstrators from street lighting to mobile phones clearly showed how such an approach can close the productivity gap in the cost-effective development of software-intensive systems...