Software technologies are of paramount importance in the current and upcoming systems. In
certain application domains, their design has to fit a difficult equation involving not only the …

Many physical plants that are controlled by embedded systems have safety requirements
that need to be respected at all times-any deviations from expected behavior can result in …