The Kriso Container Ship (Kcs) Test Case: An Open Source Overview