Correct by construction components or: would Nasreddin use components? | IEEE Conference Publication | IEEE Xplore