Jaspal Singh Sagoo

• The development of hard real-time systems using a formal approach