Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer SystemeVolgen