OBDD Compression of Numerical Controllers. - Giuseppe Della Penna; Nadia Lauri; Daniele Magazzeni; Benedetto Intrigila (ICINCO-ICSO, 2008)