Scalable templates for specification reuse | IEEE Conference Publication | IEEE Xplore