A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. - Walid Belkhir; Gisela Rossi; Michaël Rusinowitch (Advances in Modal Logic, 2014)