Semi-automated model extraction from observations for dependability analysis | IEEE Conference Publication | IEEE Xplore