Software design methods for concurrent and real-time systems | lit.salon