Björn Axenath, Oliver Sudmann: Project Planning Support by Model Checking. GI Jahrestagung 2009: 3235-3246