Building the software factory from the spec up | LinearB's Ariel Illouz & Ofer Affias