A framework for generalized shielded state transitions - View it on GitHub