Controlling state explosion in static simulation by selective composition | IEEE Conference Publication | IEEE Xplore