Coherent branching feature bisimulation. - Tessa Belder; Maurice H. ter Beek; Erik P. de Vink (FMSPLE, 2015)