Wieslaw Pawlowski Pawel Paczkowski Stefan Sokolowski Specifying and Verifying Parametric Processes. 469-481 1996 conf/mfcs/1996 MFCS db/conf/mfcs/mfcs96.html#PawlowskiPS96 http://dx.doi.org/10.1007/3-540-61550-4_171