Georgeta Igna Venkatesh Kannan Yang Yang Twan Basten Marc Geilen Frits W. Vaandrager Marc Voorhoeve Sebastian de Smet Lou J. Somers Formal Modeling and Scheduling of Datapaths of Digital Document Printers. 170-187 2008 FORMATS http://dx.doi.org/10.1007/978-3-540-85778-5_13 conf/formats/2008 db/conf/formats/formats2008.html#IgnaKYBGVVSS08