Patrick Martin Jean-Pierre de la Croix Magnus Egerstedt MDLn: A Motion Description Language for networked systems. 558-563 2008 CDC http://dx.doi.org/10.1109/CDC.2008.4739185 conf/cdc/2008 db/conf/cdc/cdc2008.html#MartinCE08