Preliminary experience with process modeling in the MARVEL software development environment kernel | IEEE Conference Publication | IEEE Xplore