Magnalium: Highly reliable sdc networks with multiple control plane compositionGeng LiAkrit Mudvariet al.2019SMARTCOMP 2019