Advancing Practical Specification Techniques For Modern Software Systems