ISTAR

An experimental IPSE from Imperial Software Technology.