Applying Executable Specifications - (A Short Project Summary & Survey) In Proceedings of the 3rd International Workshop on Software Knowledge - Volume 0IC3K, 67-70, 2012 , Barcelona, Spain