A framework to generate fault-based behavior models for complex systems design | IEEE Conference Publication | IEEE Xplore