On the concurrent behaviour of SCR specifications | IEEE Conference Publication | IEEE Xplore