Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer SystemePrévenez-moi