Provided example of model-based tool analysis for Bitwalker