software project while developed secure research relation ardoco continuous create model links from element group models item goal like researchers dependability work documentation this them then engineering modelling deviating labs topic institute kastel helmholtz identifying other association inconsistencies trace security systems missing actively mcse make connect architecture funding identify representable component elements information first supported