Towards Automated Certification Framework of Composite Systems: A SWRL-Based Approach | IEEE Conference Publication | IEEE Xplore