Yard Ltd.

• The design of software for real time systems and the applications of MASCOT