Giuseppe Della Penna Nadia Lauri Daniele Magazzeni Benedetto Intrigila OBDD Compression of Numerical Controllers. 43-50 2008 ICINCO-ICSO conf/icinco/2008icso db/conf/icinco/icinco2008-icso.html#PennaLMI08