Getting Started with CorasWorks