A model of atomicity for multilevel transactions | IEEE Conference Publication | IEEE Xplore