L. Kovacs: "RiSE: Rigorous Systems Engineering"; Talk: Research Seminar for Master Students, West University of Timisoara, Timisoara, Romania (invited); 2011-05-25 - 2011-05-27.