From napkin sketches to reliable software by