Describir: Theory and Engineering of Complex Systems and Dependability