Finalmente lograron crear un lenguaje que permite especificar sistemas sean estos informáticos o no, aunque su mayor fortaleza como lenguaje es para aquellos sistemas que combinen elementos del mundo físico (Hardware) con elementos del mundo lógico (Software)