real-time concurrent systems Author Keyword