Shadow detection and removal using a shadow formation model | IEEE Conference Publication | IEEE Xplore