Elena Fersman Bengt Jonsson Abstraction of Communication Channels in Promela: A Case Study. 187-204 2000 conf/spin/2000 SPIN db/conf/spin/spin2000.html#FersmanJ00