Model-Based Engineering for Certification of Complex Adaptive Network Systems | IEEE Conference Publication | IEEE Xplore