SLR 06 – Abstraction and automation