Rare event simulator using importance splitting on IOSA models.