509476Teeside University and Applied Integration UK LimitedClosedKnowledge Transfer PartnershipInnovate UKTo reduce development time associated with the production of safety and control critical systems achieved through the introduction of an expressive language to formalise user requirements; and the automation of design and testing processes.