Strategies for real-time system specification | lit.salon