The Rigi Reverse Engineering Environment