Martin Fischer Formalizing Construction Knowledge for Concurrent Performance-Based Design. 186-205 2006 conf/egice/2006 EG-ICE http://dx.doi.org/10.1007/11888598_20 db/conf/egice/egice2006.html#Fischer06