An Introduction to InCAS