initial commit. Formatting according to LLNCS