SymPLe: Complexity-Aware Design for Safety Critical I&C Systems | IEEE Conference Publication | IEEE Xplore