Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system | IEEE Conference Publication | IEEE Xplore