A tailor-made service design support tool based on aspect-oriented timed Petri net | IEEE Conference Publication | IEEE Xplore