Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer SystemeBewachen