Appia, a flexible protocol kernel supporting multiple coordinated channels - H. Miranda (2010)