Example of a formal flow violation | IEEE Conference Publication | IEEE Xplore