SLR06 – Abstraction and automation