Johan Köhler Jules-Raymond Tapamo Formal specification of region-based model for semantic extraction in road traffic monitoring. 155-159 2006 conf/afrigraph/2006 Afrigraph http://doi.acm.org/10.1145/1108590.1108615 db/conf/afrigraph/afrigraph2006.html#KohlerT06