Separation of Concerns and Role Implementation in the PASSI Design Process | IEEE Conference Publication | IEEE Xplore