Zaslat SMS: Theory and evaluation for formation pressure.