Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer SystemeNotifícame