Tools and Methods for Functional Analysis of Complex Technical Systems | IEEE Conference Publication | IEEE Xplore