Systems modeling with xpetri | IEEE Conference Publication | IEEE Xplore