Describir: Dependability Engineering and Complex Systems