Their approach is fully supported by commercially available tools, and the subsequent software production process is dramatically more efficient than today’s conventional software development processes, saving many man-days of work.