Topcased TOPCASED is an integrated System/Software engineering toolkit compliant with the requirements of critical and embedded applica ...