Finished Eiffel results of the DBC usage study