Added contracts for bus and BPC checkpointing
Merge pull request #5 from tamasionut/add-contract-for-bus-checkpointing

Added contracts for bus and BPC checkpointing