Component Tools : Application and Integration of Formal Methods