For additional reading we recommend the following publications (digital libraries are accessible for free only from TU Wien internally):
Moreover, an (incomplete and unstructured) list of related tools is provided: