Verification of Javelin block range safety template using the RSTT