Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer SystemeAvvisami