Towards a CASE tool for parallel systems | IET Conference Publication | IEEE Xplore