Feedback invariants via output injection*1 | Publicación