Beohar, H; König, B; Küpper, S; Silva, A; Wissmann, T; (2018) A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science , 14 (1) 10.23638/LMCS-14(1:19)2018.