dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. - Bram De Wachter; Thierry Massart; Cédric Meuter (OPODIS, 2003)

From Static Code Distribution to More Shrinkage for the Multiterminal Cut. - Bram De Wachter; Alexandre Genon; Thierry Massart (WEA, 2005)

The formal design of distributed controllers with dSL and Spin. - Bram De Wachter; Alexandre Genon; Thierry Massart; Cédric Meuter (Formal Aspects Comput., 2005)

dSL, a Language and Environment for the Design of Distributed Industrial Controllers - Bram De Wachter (2005)