Rule-based program response-time analysis for real-time applications | AMiner