Rigorous Approach to Industrial Software Engineering