كما تم القيام بهذه المشاريع في مجال مواصفات النظم التفاعلية وتطويرها.
Con arreglo a esos proyectos también se abordaron los sistemas reactivos en que se emplean cálculos de duración generales y se investigaron otras teorías de los sistemas reactivos como la verificación composicional y los cálculos de refinamiento.