Talk:Rigorous Approach to Industrial Software Engineering