Formal and architectural competitive factors in industrial informatics | IEEE Conference Publication | IEEE Xplore