Towards a new convolution-based approach to the specification of STPU-solutions | IEEE Conference Publication | IEEE Xplore