Design and modeling of CT systems with GSPN | IEEE Conference Publication | IEEE Xplore