Alexander Biewer, Jens Gladigau, Christian Haubelt. Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making. In Walter Stechele, Thomas Wild, editors, ARCS 2014 - 27th International Conference on Architecture of Computing Systems, Workshop Proceedings, February 25-28, 2014, Luebeck, Germany, University of Luebeck, Institute of Computer Engineering. pages 1-7, VDE Verlag / IEEE Xplore, 2014. [doi]