Method for correct-by-construction development of real-time-systems Application EP-2278454-A1 European Patent Office 26 Jan 2011