The Cellar Principle of State Transition and Storage Allocation | IEEE Journals & Magazine | IEEE Xplore