Workflow principles applied to multi-solution analysis of dependable distributed systems | IEEE Conference Publication | IEEE Xplore