Layered Architecture for Automatic Generation of Conflictive Animations in Programming Education | IEEE Journals & Magazine | IEEE Xplore