DDPSL: An easy way of defining properties. - Luigi Di Guglielmo; Franco Fummi; Nicola Orlandi; Graziano Pravadelli (ICCD, 2010)