Josep Carmona Jordi Cortadella Yousuke Takada Ferdinand Peper Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. 2008 4 JETC 2 http://doi.acm.org/10.1145/1350763.1350768 db/journals/jetc/jetc4.html#CarmonaCTP08