The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected for inclusion in this volume from 18 submissions. The papers are organized in the following topical sections: Applications and Implementations, Tools and Benchmarks, and Applications and Implementations.