New formal approach to project critical buffer | IEEE Conference Publication | IEEE Xplore