I wonder how software is engineered for those machines. Languages used, etc.