Added specs for CheckinProcedure and CheckoutProcedure models